#!/bin/sh
#
#Script to run dlvhex reasoning in an infinitive loop
#
#
cd /home/thang/study/project1/dlvhex/

while true
do
	echo "\n------ start reasoning -------"
	dlvhex --silent --firstorder driving_2set.dlp
	echo "------ sleeping -------"
	#sleep 1
done
